Model-based testing - PDFSEARCH.IO - Document Search Engine

Model-based testing
Results: 198

#	Item
61	1/ ForTesSE Formal Testing and System Exploration Laboratoire de Recherche en Informatiquereport Add to Reading List Source URL: vals.lri.fr Language: English - Date: 2015-05-21 04:16:07 Software development Science Model-based testing Formal verification Model checking Software verification Verification and validation Software development process Construction and Analysis of Distributed Processes Software testing Formal methods Theoretical computer science
62	TOSCA Testsuite™ White Paper Model-Based Test Automation The use of a non-graphical model as an enabler for effective test automation Add to Reading List Source URL: ww1.prweb.com Language: English - Date: 2013-04-04 07:54:11 Quality assurance Test automation Tosca Automation Model-based testing Manual testing Graphical user interface testing Lightweight software test automation Keyword-driven testing Software testing Technology Software quality
63	“The World’s Most Tested Transaction Switch” EXECUTIVE SUMMARY Luottokunta is Finland’s largest card payments service company. Being the link between point of sales (POS) and the issuers of leading credit cards, Add to Reading List Source URL: www.verifysoft.com Language: English - Date: 2005-06-06 11:19:11 Business Model-based testing Credit card Acceptance testing Load testing Visa Inc. MasterCard Quality assurance Test automation Software testing Evaluation Quality management
64	ACM/IEEE 12th Annual International Conference on Model Driven Engineering Languages and Systems MODELS 2009 Denver, Colorado, USA Add to Reading List Source URL: www.cs.colostate.edu Language: English - Date: 2009-09-29 18:28:36 Science Object Constraint Language Model-driven engineering Metamodeling Modeling language ECO Model-based testing Model-driven architecture Unified Modeling Language Software engineering Data modeling
65	Towards Model-Based Testing of Domain-Specific Modelling Languages Janne Merilinna Olli-Pekka Puolitaival Add to Reading List Source URL: www.dsmforum.org Language: English - Date: 2008-10-07 03:17:09 Software testing Scientific modeling Computing Systems engineering Domain-specific modeling Model-based testing Generic Modeling Environment Model-driven architecture Generic Eclipse Modeling System Software engineering Unified Modeling Language Software
66	Model-Based Testing for the Second Generation of Integrated Modular Avionics Christof Efkemann, Jan Peleska Department of Computer Science and Mathematics University of Bremen Bremen, Germany Email: {chref, jp}@tzi.de Add to Reading List Source URL: www.informatik.uni-bremen.de Language: English - Date: 2011-09-19 11:43:38 Computing TTCN-3 Model-based testing TTCN ARINC 653 Spring Framework Avionics Full-Duplex Switched Ethernet Test suite Test automation Software testing Evaluation Technology
67	Joint Statistics Seminar The Hong Kong University of Science and Technology Nonparametric Transition-Based Tests for Jump-Diffusions by Add to Reading List Source URL: www.bm.ust.hk Language: English - Date: 2009-03-03 21:13:56 Statistical tests Hypothesis testing Parametric model Statistical power Null hypothesis Null Statistics Statistical inference Non-parametric statistics
68	Testing Embedded Systems 2-day workshop with Prof. Dr. Daniel Fischer (Professor at the University of Applied Sciences Offenburg, Germany) This workshop provides the essential skills to test efficiently and effectively h Add to Reading List Source URL: www.verifysoft.com Language: English - Date: 2008-09-05 04:17:31 Reliability engineering University of Applied Sciences Offenburg Software development Software development process Embedded system TPT Model-based testing Software testing Science Systems engineering
69	FOUR YEARS OF COGNITIVELY BASED ASSESSMENT OF, FOR, AND AS LEARNING (CBAL): LEARNING ABOUT THROUGHCOURSE ASSESSMENT (TCA) John P. Sabatini, Randy Elliot Bennett, and Paul Deane Educational Testing Service Add to Reading List Source URL: www.k12center.org Language: English - Date: 2015-05-16 06:51:05 Educational psychology Standards-based education Formative assessment Summative assessment E-assessment E-learning STAR Logic model Education Evaluation Evaluation methods
70	Towards Model-Based Testing of Domain-Specific Modelling Languages J. Merilinna, Olli-Pekka Puolitaival, J. Pärssinen VTT TECHNICAL RESEARCH CENTRE OF FINLAND Add to Reading List Source URL: www.dsmforum.org Language: English - Date: 2008-11-04 04:12:04 MetaEdit+ Computing Software testing VTT Technical Research Centre of Finland Model-based testing

UPDATE